عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۲,۸۹ ثانیه یافت شد.
1. Verifying Concurrent Processes Using Temporal Logic
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
by Brent T. Hailpern.
کتابخانه:
کتابخانه مطالعات اسلامی به زبان های اروپایی
(
قم
)
موضوع :
Computer Science,Computer science.,Logic design.
رده :
»
1
«
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح